fpf{-}vals(${\it eq}$; $P$; $f$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$let $L$ = filter($P$; remove{-}repeats(${\it eq}$; ($f$.1))) in zip($L$; map(($f$.2); $L$))